$\forall$$g$:GrpSig, $b$:$\mathbb{B}$, $x$:$\mid$$g$$\mid$. ($\uparrow$$b$) $\Rightarrow$ ((when $b$. $x$) = $x$)